Byron Cook

The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS

Kathleen Fisher and Byron Cook explore how formal methods and AI can work together to create more secure software systems, demonstrating how automated reasoning and proof techniques can help address emerging cybersecurity challenges and potentially enable a "great software rewrite" that dramatically reduces vulnerabilities.